Incremental Plan Recognition in an Agent Programming Framework
نویسندگان
چکیده
In this paper, we propose a formal model of plan recognition for inclusion in a cognitive agent programming framework. The model is based on the Situation Calculus and the ConGolog agent programming language. This provides a very rich plan specification language. Our account also supports incremental recognition, where the set of matching plans is progressively filtered as more actions are observed. This is specified using a transition system account. The model also supports hierarchically structured plans and recognizes sub-
منابع مشابه
Software Agents for Incremental, Team-Oriented Activity and Plan Recognition
Activity and plan recognition are well developed research fields, where much work has been done. There has been, however, almost no effort in combining both to create intelligent software that can effectively support the decisionmaking process faced by human teams enacting a joint plan. If intelligent software assistants are to offer helpful and meaningful support, and interact effectively in h...
متن کاملIncremental, Team-Oriented Activity and Plan Recognition for Software Agents
Activity and plan recognition are well-developed research fields, where much work has been done. There has been, however, almost no effort in combining both to create intelligent software that can effectively support the decision-making process faced by human teams enacting a joint plan. In this paper, we present an architecture to integrate activity recognition and plan recognition using a tea...
متن کاملA Hybrid Framework for Building an Efficient Incremental Intrusion Detection System
In this paper, a boosting-based incremental hybrid intrusion detection system is introduced. This system combines incremental misuse detection and incremental anomaly detection. We use boosting ensemble of weak classifiers to implement misuse intrusion detection system. It can identify new classes types of intrusions that do not exist in the training dataset for incremental misuse detection. As...
متن کاملA Logical Framework for Plan Recognition for Intrusion Detection
This document describes the results of our work during the first two years of our PhD. studies. The aim of our PhD. thesis is the development of a methodology for automated intrusion detection based on attack plan recognition, and therefore, the design of a general framework for the characterization and theoretical investigation of the plan recognition problem in adversarial scenarios. In the A...
متن کاملModeling and Planning in Large State and Action Spaces
This paper introduces a general framework that integrates incremental model learning and reactive plan construction for real-time control of an agent situated in a stochastic world. This system is designed to achieve competent performance in continuous-time problems involving large or infinite state and action spaces. In order to learn and plan in such domains effectively, experience must be ge...
متن کامل